Graph theory - PDFSEARCH.IO - Document Search Engine

Graph theory
Results: 6735

#	Item
451	Planar 4-critical graphs with four triangles Oleg V. Borodin ∗ Zdenˇek Dvoˇra´k † Alexandr V. Kostochka Bernard Lidick´ y§ Add to Reading List Source URL: orion.math.iastate.edu Language: English - Date: 2014-08-22 14:44:59 Graph theory Graph coloring Planar graph Graph Ear decomposition Order theory Interval edge coloring
452	19th International Symposium on Graph Drawing SeptEindhoven The Netherlands Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-04-08 04:57:13 Roberto Tamassia Graph drawing Jack van Wijk Graph theory Topological graph theory Takao Nishizeki Computer science Mathematics Science and technology in the United States
453	Testing Maximal 1-planarity of Graphs with a Rotation System in Linear Time ⋆ Peter Eades1 , Seok-Hee Hong1 , Naoki Katoh2 , Giuseppe Liotta3 , Pascal Schweitzer4 , and Yusuke Suzuki5 1 Add to Reading List Source URL: www.cs.usyd.edu.au Language: English - Date: 2012-06-18 00:41:54 Graph theory Planar graphs Planarity testing 1-planar graph Topological graph theory Planarity Dual graph Outerplanar graph
454	Wins and Losses of Algebraic Transformations of Software Architectures H.M. Fahmy1 , R.C. Holt 1 , and J.R. Cordy2 Dep’t. of Computer Science, University of Waterloo, Waterloo, Ontario 2 Dep’t. of Computing & Informa Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2001-07-02 11:19:54 Graph theory Discrete mathematics Mathematics Graphs Graph rewriting Relational algebra Graph Pattern matching Tree Signal-flow graph
455	TOCS9478_source.nohead.pdf Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2013-05-14 08:02:16 Graph theory NP-complete problems Circle graph Intersection graph Dominating set Interval graph Chordal graph Graph coloring Treewidth Claw-free graph Clique Planar graph
456	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic
457	Typical distances in a geometric model for complex networks ∗ Mohammed Amin Abdullah† Michel Bode‡ Add to Reading List Source URL: web.mat.bham.ac.uk Language: English - Date: 2015-06-25 12:56:44 Graph theory Mathematics Discrete mathematics Random graphs Tree Graph Central limit theorem Rado graph Probability distributions Planar separator theorem Beta distribution
458	Takehome Exam Graph II Start: :00 am End: :00 pm 1. Given a graph G whose girth is greater then 10 provide an algorithm that Add to Reading List Source URL: sharif.ir Language: English - Date: 2016-01-25 15:19:56 Graph theory Graph coloring Girth Graph minor Tutte polynomial Coxeter graph Graph operations Graph homomorphism Book:Graph Theory I
459	Influence Propagation in Adversarial Setting: How to Defeat Competition with Least Amount of Investment Shahrzad Shirazipourazad, Brian Bogard, Harsh Vachhani, Arunabha Sen School of Computing, Informatics and Decision S Add to Reading List Source URL: web.cs.du.edu Language: English - Date: 2012-09-21 17:55:11 Graph theory Mathematics Networks Network theory Discrete mathematics Operations research Centrality Network analysis Flow network Belief propagation
460	Automatically Computing Program Path Complexity Lucas Bang, Abdulbaki Aydin, and Tevfik Bultan I. I NTRODUCTION Recent automated software testing techniques focus on achieving path coverage. We present a program complexi Add to Reading List Source URL: gswc.cs.ucsb.edu Language: English - Date: 2016-03-01 02:43:37 Computational complexity theory Software metrics Software engineering Theory of computation Complexity classes Cyclomatic complexity Software testing Structural complexity theory Control flow graph Complexity Code coverage PL

UPDATE